Published in: LIPIcs, Volume 239, 27th International Conference on Types for Proofs and Programs (TYPES 2021)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, and Jorge A. Pérez. Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes. In 27th International Conference on Types for Proofs and Programs (TYPES 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 239, pp. 11:1-11:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{paulus_et_al:LIPIcs.TYPES.2021.11, author = {Paulus, Joseph W. N. and Nantes-Sobrinho, Daniele and P\'{e}rez, Jorge A.}, title = {{Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes}}, booktitle = {27th International Conference on Types for Proofs and Programs (TYPES 2021)}, pages = {11:1--11:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-254-9}, ISSN = {1868-8969}, year = {2022}, volume = {239}, editor = {Basold, Henning and Cockx, Jesper and Ghilezan, Silvia}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2021.11}, URN = {urn:nbn:de:0030-drops-167808}, doi = {10.4230/LIPIcs.TYPES.2021.11}, annote = {Keywords: Resource \lambda-calculus, intersection types, session types, process calculi} }
Published in: LIPIcs, Volume 195, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, and Jorge A. Pérez. Non-Deterministic Functions as Non-Deterministic Processes. In 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 195, pp. 21:1-21:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{paulus_et_al:LIPIcs.FSCD.2021.21, author = {Paulus, Joseph W. N. and Nantes-Sobrinho, Daniele and P\'{e}rez, Jorge A.}, title = {{Non-Deterministic Functions as Non-Deterministic Processes}}, booktitle = {6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)}, pages = {21:1--21:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-191-7}, ISSN = {1868-8969}, year = {2021}, volume = {195}, editor = {Kobayashi, Naoki}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.21}, URN = {urn:nbn:de:0030-drops-142598}, doi = {10.4230/LIPIcs.FSCD.2021.21}, annote = {Keywords: Resource calculi, \pi-calculus, intersection types, session types, linear logic} }
Published in: LIPIcs, Volume 140, 30th International Conference on Concurrency Theory (CONCUR 2019)
Luís Caires, Jorge A. Pérez, Frank Pfenning, and Bernardo Toninho. Domain-Aware Session Types. In 30th International Conference on Concurrency Theory (CONCUR 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 140, pp. 39:1-39:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{caires_et_al:LIPIcs.CONCUR.2019.39, author = {Caires, Lu{\'\i}s and P\'{e}rez, Jorge A. and Pfenning, Frank and Toninho, Bernardo}, title = {{Domain-Aware Session Types}}, booktitle = {30th International Conference on Concurrency Theory (CONCUR 2019)}, pages = {39:1--39:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-121-4}, ISSN = {1868-8969}, year = {2019}, volume = {140}, editor = {Fokkink, Wan and van Glabbeek, Rob}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.39}, URN = {urn:nbn:de:0030-drops-109417}, doi = {10.4230/LIPIcs.CONCUR.2019.39}, annote = {Keywords: Session Types, Linear Logic, Process Calculi, Hybrid Logic} }
Published in: DARTS, Volume 5, Issue 2, Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Alen Arslanagić, Jorge A. Pérez, and Erik Voogd. Minimal Session Types (Artifact). In Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Dagstuhl Artifacts Series (DARTS), Volume 5, Issue 2, pp. 5:1-5:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{arslanagic_et_al:DARTS.5.2.5, author = {Arslanagi\'{c}, Alen and P\'{e}rez, Jorge A. and Voogd, Erik}, title = {{Minimal Session Types}}, pages = {5:1--5:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2019}, volume = {5}, number = {2}, editor = {Arslanagi\'{c}, Alen and P\'{e}rez, Jorge A. and Voogd, Erik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.5.2.5}, URN = {urn:nbn:de:0030-drops-107825}, doi = {10.4230/DARTS.5.2.5}, annote = {Keywords: Session types, process calculi, pi-calculus} }
Published in: LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Alen Arslanagić, Jorge A. Pérez, and Erik Voogd. Minimal Session Types (Pearl). In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 134, pp. 23:1-23:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{arslanagic_et_al:LIPIcs.ECOOP.2019.23, author = {Arslanagi\'{c}, Alen and P\'{e}rez, Jorge A. and Voogd, Erik}, title = {{Minimal Session Types}}, booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)}, pages = {23:1--23:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-111-5}, ISSN = {1868-8969}, year = {2019}, volume = {134}, editor = {Donaldson, Alastair F.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.23}, URN = {urn:nbn:de:0030-drops-108151}, doi = {10.4230/LIPIcs.ECOOP.2019.23}, annote = {Keywords: Session types, process calculi, pi-calculus} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Dimitrios Kouzapas, Jorge A. Pérez, and Nobuko Yoshida. Characteristic Bisimulation for Higher-Order Session Processes. In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 398-411, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{kouzapas_et_al:LIPIcs.CONCUR.2015.398, author = {Kouzapas, Dimitrios and P\'{e}rez, Jorge A. and Yoshida, Nobuko}, title = {{Characteristic Bisimulation for Higher-Order Session Processes}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {398--411}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.398}, URN = {urn:nbn:de:0030-drops-53659}, doi = {10.4230/LIPIcs.CONCUR.2015.398}, annote = {Keywords: Behavioural equivalences, session types, higher-order process calculi} }
Published in: LIPIcs, Volume 155, 23rd International Conference on Database Theory (ICDT 2020)
Pablo Barceló, Nelson Higuera, Jorge Pérez, and Bernardo Subercaseaux. On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra. In 23rd International Conference on Database Theory (ICDT 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 155, pp. 6:1-6:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{barcelo_et_al:LIPIcs.ICDT.2020.6, author = {Barcel\'{o}, Pablo and Higuera, Nelson and P\'{e}rez, Jorge and Subercaseaux, Bernardo}, title = {{On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra}}, booktitle = {23rd International Conference on Database Theory (ICDT 2020)}, pages = {6:1--6:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-139-9}, ISSN = {1868-8969}, year = {2020}, volume = {155}, editor = {Lutz, Carsten and Jung, Jean Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2020.6}, URN = {urn:nbn:de:0030-drops-119305}, doi = {10.4230/LIPIcs.ICDT.2020.6}, annote = {Keywords: languages for linear and relational algebra, expressive power, first order logic with aggregation, matrix convolution, matrix inverse, query genericity, locality of queries, safety} }
Published in: Dagstuhl Follow-Ups, Volume 5, Data Exchange, Integration, and Streams (2013)
Jorge Pérez. The Inverse of a Schema Mapping. In Data Exchange, Integration, and Streams. Dagstuhl Follow-Ups, Volume 5, pp. 69-95, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InCollection{perez:DFU.Vol5.10452.69, author = {P\'{e}rez, Jorge}, title = {{The Inverse of a Schema Mapping}}, booktitle = {Data Exchange, Integration, and Streams}, pages = {69--95}, series = {Dagstuhl Follow-Ups}, ISBN = {978-3-939897-61-3}, ISSN = {1868-8977}, year = {2013}, volume = {5}, editor = {Kolaitis, Phokion G. and Lenzerini, Maurizio and Schweikardt, Nicole}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DFU.Vol5.10452.69}, URN = {urn:nbn:de:0030-drops-42909}, doi = {10.4230/DFU.Vol5.10452.69}, annote = {Keywords: Schema mappings, data exchange, inverse} }
Feedback for Dagstuhl Publishing